1. Automated Deduction – CADE-25
پدیدآورنده : \ Amy P. Felty , Aart Middeldorp (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگرهها
رده :
QA
76
.
9
.
A96
2015
E-Book
,
